Comparing Partition and Random Testing via Majorization and Schur Functions

نویسندگان

  • Philip J. Boland
  • Harshinder Singh
  • Bojan Cukic
چکیده

The comparison of partition and random sampling methods for software testing has received considerable attention in the literature. A standard criterion for comparisons between random and partition testing based on their expected efficacy in program debugging is the probability of detecting at least one failure causing input in the program’s domain. We investigate the relative effectiveness of partition testing versus random testing through the powerful mathematical technique of majorization, which was introduced by Hardy et al. The tools of majorization and the concepts of Schur (convex and concave) functions enable us to derive general conditions under which partition testing is superior to random testing and, consequently, to give further insights into the value of partition

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inequalities : Theory of majorization and its applications

insisting that the equality sign holds when k = n. Here, x[X] > • • • > x[n] are the xt arranged in decreasing order and, similarly, y[X] > • • • > y[n]. If (1) is only required for the increasing (decreasing) convex functions on R then one speaks of weak sub-majorization x >, respectively). The first is equivalent to (2). Let & be an open convex subset of R...

متن کامل

Convex comparison of service disciplines in real time queues

In this paper we present a comparison of the service disciplines in real-time queueing systems (the customers have a deadline before which they should enter the service booth). We state that the more a service discipline gives priority to customers having an early deadline, the least the average stationary lateness is. We show this result by comparing adequate random vectors with the Schur-Conv...

متن کامل

Measures and algorithms for best basis selection

A general framework based on majorization, Schur-concavity, and concavity is given that facilitates the analysis of algorithm performance and clarifies the relationships between existing proposed diversity measures useful for best basis selection. Admissible sparsity measures are given by the Schur-concave functions, which are the class of functions consistent with the partial ordering on vecto...

متن کامل

Majorization for CRFs and Latent Likelihoods

The partition function plays a key role in probabilistic modeling including condi-tional random fields, graphical models, and maximum likelihood estimation. Tooptimize partition functions, this article introduces a quadratic variational upperbound. This inequality facilitates majorization methods: optimization of com-plicated functions through the iterative solution of simpler s...

متن کامل

A General Approach to Sparse Basis Selection: Majorization, Concavity, and Affine Scaling

Measures for sparse best–basis selection are analyzed and shown to fit into a general framework based on majorization, Schur-concavity, and concavity. This framework facilitates the analysis of algorithm performance and clarifies the relationships between existing proposed concentration measures useful for sparse basis selection. It also allows one to define new concentration measures, and seve...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Trans. Software Eng.

دوره 29  شماره 

صفحات  -

تاریخ انتشار 2003